Logic-based subsumption architecture

DOI10.1016/j.artint.2003.07.001zbMath1085.68680OpenAlexW2095671644MaRDI QIDQ814558

Eyal Amir, Pedrito Maynard-Zhang

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2003.07.001

zbMATH Keywords

Cognitive roboticsLogical representationsSubsumption architecture

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Related Items

Too many instincts: contrasting philosophical views on intelligence in humans and non-humans ⋮ Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic ⋮ The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself ⋮ Building Theorem Provers ⋮ On decision-theoretic foundations for defaults ⋮ Logic-based subsumption architecture

Uses Software

• ML
• GOLOG
• OTTER
• HOL
• GETFOL

Cites Work

• Logic-based subsumption architecture
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• On the relationship between circumscription and negation as failure
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Representing action: indeterminacy and ramifications
• Automated deduction by theory resolution
• Partition-based logical reasoning for first-order and propositional theories
• Representing action and change by logic programs
• GOLOG: A logic programming language for dynamic domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item