| 
|
QuoteRef: hewiC4_1985
topics >
all references >
ThesaHelp:
references g-h
Group:
distributed systems
Topic:
design for change
Topic:
open systems
Topic:
examples of distributed systems and applications
Topic:
trust
Topic:
minimal manuals and guided exploration
Topic:
problem solving
Topic:
limitations of artificial intelligence and cognitive science
Group:
psychology
Topic:
using a world model in robotics
Topic:
computer as an intelligent agent
Topic:
logic programming
Topic:
limitations of formalism
Topic:
models of reality
Topic:
natural language as action or problem solving
Group:
information
Topic:
reflex circle
Topic:
problems with logic programming
Reference
Hewitt, C., "The challenge of open systems", Byte, 10, 4, pp. 223-242, April 1985. Google
223 ;;Quote: distributed computers require organizational design and management
223 ;;Quote: distributed systems undergo continuous change
223 ;;Quote: open, distributed systems have decentralized decision making
223 ;;Quote: knowledge base of a distributed system is perpetually inconsistent
223 ;;Quote: in a distributed system, components need to negotiate for resources
223 ;;Quote: in a distributed system, information is incomplete; no closed-world assumption
223 ;;Quote: open, distributed systems never halt, accept input from unanticipated sources, output anytime
224 ;;Quote: electronic-banking is an example of an open, distributed system
224 ;;Quote: in electronic banking, valid transactions depend on an agreement between bank and the depositor
225 ;;Quote: problem-solving requires exploration instead of just search
225+;;Quote: problem solving requires exploration: no initial state, pre-defined operations, or goal state
227 ;;Quote: Planner allows fragmentary and heuristic knowledge to assist problem solving
227 ;;Quote: select Planner procedures by goal patterns
227 ;;Quote: Planner theorems are imperatives when executed and declaratives when data
229 ;;Quote: logical implication should be like a procedure, e.g., invoked by beliefs
229 ;;Quote: Planner procedures can be goal-invoked, i.e., a sub-goal is derived
230 ;;Quote: conjecture of inconsistency: any axiomatizations of human knowledge is uniformly inconsistent
233 ;;Quote: conjecture of perpetual inconsistency: any axiomatizations of human knowledge will always be inconsistent
234 ;;Quote: message-passing semantics: meaning of a message depends on its effect on subsequent behavior
234 ;;Quote: due-process reasoning: debate between advocates and skeptics
239 ;;Quote: logic programming lacks communication primitives and due-process reasoning; needed for open systems
ThesaHelp: references g-h (299 items)
Group: distributed systems (14 topics, 344 quotes)
Topic: design for change (75 items)
Topic: open systems (32 items)
Topic: examples of distributed systems and applications (24 items)
Topic: trust (16 items)
Topic: minimal manuals and guided exploration (44 items)
Topic: problem solving (32 items)
Topic: limitations of artificial intelligence and cognitive science (64 items)
Group: psychology (9 topics, 303 quotes)
Topic: using a world model in robotics (12 items)
Topic: computer as an intelligent agent (49 items)
Topic: logic programming (34 items)
Topic: limitations of formalism (92 items)
Topic: models of reality (33 items)
Topic: natural language as action or problem solving (29 items)
Group: information (46 topics, 1141 quotes)
Topic: reflex circle (20 items)
Topic: problems with logic programming (10 items)