Logic-based subsumption architecture

DOI10.1016/J.ARTINT.2003.07.001MaRDI QIDQ814558zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Object-oriented design of the subsumption architecture
• Reinventing Shakey
• scientific article; zbMATH DE number 2080347
• scientific article; zbMATH DE number 1947504
• REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics

Cites work

• scientific article; zbMATH DE number 4174379 (Why is no real title available?)
• scientific article; zbMATH DE number 3986613 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 2080347 (Why is no real title available?)
• scientific article; zbMATH DE number 1931663 (Why is no real title available?)
• scientific article; zbMATH DE number 774417 (Why is no real title available?)
• scientific article; zbMATH DE number 1390357 (Why is no real title available?)
• scientific article; zbMATH DE number 234014 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Automated deduction by theory resolution
• GOLOG: A logic programming language for dynamic domains
• Logic-based subsumption architecture
• On the relationship between circumscription and negation as failure
• Partition-based logical reasoning for first-order and propositional theories
• Reinventing Shakey
• Representing action and change by logic programs
• Representing action: indeterminacy and ramifications

Cited in

(9)

• Building Theorem Provers
• Too many instincts: contrasting philosophical views on intelligence in humans and non-humans
• The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
• Object-oriented design of the subsumption architecture
• scientific article; zbMATH DE number 1947504 (Why is no real title available?)
• Experimental analysis of some computation rules in a simple parallel reasoning system for the \(\mathcal{ALC}\) description logic
• On decision-theoretic foundations for defaults
• Logic-based configuration with a semantic network
• Logic-based subsumption architecture

Describes a project that uses

Uses Software

• GETFOL
• HOL
• OTTER
• GOLOG
• ML

This page was built for publication: Logic-based subsumption architecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814558)